COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	know[f85,jmc]		Knowledge for Halpern meeting (Dec. 15 deadline)
C00004 00003	Mental situation calculus
C00005 ENDMK
C⊗;
know[f85,jmc]		Knowledge for Halpern meeting (Dec. 15 deadline)

Formalization of knowledge in AI

	Artificial intelligence requires knowledge about knowledge.
The simplest uses include the following.

1. Where knowledge is to be obtained.

2. Facts about the relation between symbolic information and the
facts it expresses.

3. Facts about actions that change states of knowledge.

differences between AI and philosophy.  Philosophers often treat
the phenomenon of knowledge as a natural kind, i.e. the meaning
of  $S knows p$ exists and is waiting to be discovered by
philosophers.  AI treats knowledge differently.

jmc notes on knowledge

Mental situation calculus

deciding, learning, deducing, inferring non-monotonically, coming to
desire (is this a form of deciding?)

deciding
	decide to do X
	decide on X as a goal